√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

computability logic中文什么意思

發(fā)音:   用"computability logic"造句

百科釋義

    Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
    詳細(xì)百科解釋

相關(guān)詞匯

        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
        computability:    可計(jì)算性; 可算性
        abacus computability:    算盤可計(jì)算性
        characterization of computability:    可計(jì)算性刻劃
        computability theory:    可計(jì)算性理論
        feasible computability:    可行計(jì)算性; 可行可計(jì)算性
        partial computability:    部分可計(jì)算性
        practical computability:    實(shí)用可計(jì)算性
        turing computability:    圖靈機(jī)可計(jì)算性
        equivalent definitions of computability:    可計(jì)算性的等價(jià)定義
        -logic:    -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
        and logic:    “與”邏輯
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
        logic-and:    邏輯“與”
        or logic:    或邏輯
        active logic:    有源邏輯
        actuating logic:    執(zhí)行邏輯
        adaptive logic:    適應(yīng)性邏輯（電腦）; 自適應(yīng)邏輯
        affective logic:    情感邏輯
        algebra and logic:    代數(shù)與邏輯
        algebra of logic:    邏輯代數(shù)
        algebraic logic:    代數(shù)邏輯
        algorithm logic:    運(yùn)算邏輯
        algorithmic logic:    算法邏輯
        alternating logic:    交替邏輯

相鄰詞匯

  1. compuserve信息系統(tǒng) 什么意思
  2. compusory 什么意思
  3. compustat 什么意思
  4. compusystems data products inc 什么意思
  5. computability 什么意思
  6. computability theory 什么意思
  7. computable 什么意思
  8. computable business area 什么意思
  9. computable function 什么意思
  10. computable general equilibrium 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.